The Gauge Integral Theory in HOL4

1 Beijing Engineering Research Center of High Reliable Embedded System, Capital Normal University, Beijing 100048, China 2 State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China 3 College of Information Science and Engineering, Graduate University of Chinese Academy of Sciences, Beijing 100049, China 4College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, China 5 School of Mechanical Engineering and Automation, Beijing University of Aeronautics and Astronautics, Beijing 100191, China